protocols 11,40

ABS: fifo+send(es;C;in;m;req;j;i;e)

STM: fifo+send wf

ABS: fifo_deliver(es;out;d;i;e)

STM: fifo deliver wf


origin